Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseignement de l’informatique du lycée. Chercheur engagé, il réfléchit également à l’impact des nouvelles technologies sur les conditions d’élaboration, de diffusion et de réception des savoirs. À ce titre, il dirige le Mooc Lab de l’Inria qui est à l’origine de la plate-forme France Université Numérique.